Infinity of intermediate states is decidable for Petri netsWIMMEL, Harro.Lecture notes in computer science. 2004, pp 426-434, issn 0302-9743, isbn 3-540-22236-7, 9 p.Conference Paper

A new perspective on criteria and algorithms for reachability of discrete-time switched linear systemsZHIJIAN JI; HAI LIN; TONG HENG LEE et al.Automatica (Oxford). 2009, Vol 45, Num 6, pp 1584-1587, issn 0005-1098, 4 p.Article

BRAIN: Backward reachability analysis with integersRYBINA, Tatiana; VORONKOV, Andrei.Lecture notes in computer science. 2002, pp 489-494, issn 0302-9743, isbn 3-540-44144-1, 6 p.Conference Paper

The number of reachable pairs in a digraphRAO, A. R.Discrete mathematics. 2006, Vol 306, Num 14, pp 1595-1600, issn 0012-365X, 6 p.Conference Paper

Reachable set of open quantum dynamics for a single spin in Markovian environmentHAIDONG YUAN.Automatica (Oxford). 2013, Vol 49, Num 4, pp 955-959, issn 0005-1098, 5 p.Article

Reachability Properties of Continuous-Time Positive SystemsVALCHER, Maria Elena.IEEE transactions on automatic control. 2009, Vol 54, Num 7, pp 1586-1590, issn 0018-9286, 5 p.Article

On the reachable set for third-order linear discrete-time systems with positive controlBENVENUTI, Luca.Systems & control letters. 2011, Vol 60, Num 9, pp 690-698, issn 0167-6911, 9 p.Article

A reachability algorithm for general petri nets based on transition invariantsKOSTIN, Alexander E.Lecture notes in computer science. 2006, pp 608-621, issn 0302-9743, isbn 3-540-37791-3, 1Vol, 14 p.Conference Paper

Competition-reachability of a graphSUK JAI SEO; SLATER, Peter J.Discrete mathematics. 2006, Vol 306, Num 6, pp 580-590, issn 0012-365X, 11 p.Article

Ullrich conditions and smoothness of reachable states of a rotating beamSKLYAR, G. M; WOZNIAK, J.Journal of mathematical analysis and applications. 2009, Vol 354, Num 1, pp 31-45, issn 0022-247X, 15 p.Article

Observational logic, constructor-based logic, and their dualityBIDOIT, Michel; HENNICKER, Rolf; KURZ, Alexander et al.Report - Software engineering. 2002, Num 23, pp 1-33, issn 1386-369X, 33 p.Article

Reachability analysis in boxed ambientsBUSI, Nadia; ZAVATTARO, Gianluigi.Lecture notes in computer science. 2005, pp 143-159, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 17 p.Conference Paper

FAST : acceleration from theory to practiceBARDIN, Sébastien; FINKEL, Alain; LEROUX, Jerome et al.International journal on software tools for technology transfer (Print). 2008, Vol 10, Num 5, pp 401-424, issn 1433-2779, 24 p.Article

Asymptotic orders of reachability in perturbed linear systemsOZVEREN, C. M; VERGHESE, G. C; WILLSKY, A. S et al.IEEE transactions on automatic control. 1988, Vol 33, Num 10, pp 915-923, issn 0018-9286Article

Reach set computation and control synthesis for discrete-time dynamical systems with disturbancesKURZHANSKIY, Alex A; VARAIYA, Pravin.Automatica (Oxford). 2011, Vol 47, Num 7, pp 1414-1426, issn 0005-1098, 13 p.Article

Reachability and optimal phasing for reconfiguration in near-circular orbit formationsPALMER, Phil.Journal of guidance, control, and dynamics. 2007, Vol 30, Num 5, pp 1542-1546, issn 0731-5090, 5 p.Article

Model predictive control of discrete-time hybrid systems with discrete inputsPOTOCNIK, B; MUSIC, G; ZUPANCIC, B et al.ISA transactions. 2005, Vol 44, Num 2, pp 199-211, issn 0019-0578, 13 p.Article

Reduced power automataSUTNER, Klaus.Lecture notes in computer science. 2003, pp 194-202, issn 0302-9743, isbn 3-540-40391-4, 9 p.Conference Paper

Reachability in variable structure control systemsWHITE, B. A; SILSON, P. M.IEE proceedings. Part D. Control theory and applications. 1984, Vol 131, Num 3, pp 85-91, issn 0143-7054Article

Bounds on the reachable sets of nonlinear control systemsSCOTT, Joseph K; BARTON, Paul I.Automatica (Oxford). 2013, Vol 49, Num 1, pp 93-100, issn 0005-1098, 8 p.Article

Feedback-reversibility and reachability of linear impulsive systemsMEDINA, Enrique A; LAWRENCE, Douglas A.Automatica (Oxford). 2010, Vol 46, Num 6, pp 1101-1106, issn 0005-1098, 6 p.Article

On accessibility and normal accessibility: the openness of controllability in the fine C° topologyGRASSE, K. A.Journal of differential equations (Print). 1984, Vol 53, Num 3, pp 387-414, issn 0022-0396Article

On the reachability in any fixed time for positive continuous-time linear systemsCOMMAULT, Christian; ALAMIR, Mazen.Systems & control letters. 2007, Vol 56, Num 4, pp 272-276, issn 0167-6911, 5 p.Article

ASYMPTOTICS FOR SHAPES OF SINGULARLY PERTURBED REACHABLE SETSGONCHAROVA, Elena; OVSEEVICH, Alexander.SIAM journal on control and optimization. 2011, Vol 49, Num 2, pp 403-419, issn 0363-0129, 17 p.Article

From Dubins' car to Reeds and Shepp's mobile robotPATSKO, Valerii S; TUROVA, Varvara L.Computing and visualization in science (Print). 2009, Vol 12, Num 7, pp 345-364, issn 1432-9360, 20 p.Article